Runtime Verification Through Forward Chaining
نویسندگان
چکیده
In this paper we present a novel rule-based approach for Runtime Verification of FLTL properties over finite but expanding traces. Our system exploits Horn clauses in implication form and relies on a forward chaining-based monitoring algorithm. This approach avoids the branching structure and exponential complexity typical of tableaux-based formulations, creating monitors with a single state and a fixed number of rules. This allows for a fast and scalable tool for Runtime Verification: we present the technical details together with a working implementation.
منابع مشابه
Type-2 Fuzzy Hybrid Expert System For Diagnosis Of Degenerative Disc Diseases
One-third of the people with an age over twenty have some signs of degenerated discs. However, in most of the patients the mere presence of degenerative discs is not a problem leading to pain, neurological compression, or other symptoms. This paper presents an interval type-2 fuzzy hybrid rule-based system to diagnose the abnormal degenerated discs where pain variables are represented by interv...
متن کاملRuntime Verification Based on Register Automata
We propose TOPL automata as a new method for runtime verification of systems with unbounded resource generation. Paradigmatic such systems are object-oriented programs which can dynamically generate an unbounded number of fresh object identities during their execution. Our formalism is based on register automata, a particularly successful approach in automata over infinite alphabets which admin...
متن کاملOn some inferences based on stratified forward chaining: An application to e-Government
This paper introduces first an expert system shell based on stratified forward chaining. The stratified forward chaining was proposed as a generalization for the inheritance networks with exception since it allows more than one antecedent in the premises part of a rule. Expert systems built with this tool are rule based and the user interface is web based. The practical use of this chaining is ...
متن کاملEecient Support for Reactive Rules in Prolog ?
FW rules is a Prolog library which provides eecient support for forward (reactive) rules in Prolog. The library is based on an indexing mechanism to achieve eeciency. The library supports interoperability between the forward chaining language and the underlying Prolog engine and it can be embedded in any Prolog application. The implementation is based on a runtime support written in C to perfor...
متن کامل